Performance Evaluation of Schedulers in a Probabilistic Setting

نویسندگان

  • Jean-Francois Kempf
  • Marius Bozga
  • Oded Maler
چکیده

We show how to evaluate the performance of solutions to finite-horizon scheduling problems where task durations are specified by bounded uniform distributions. Our computational technique, based on computing the volumes of zones, constitutes a contribution to the computational study of scheduling under uncertainty and stochastic systems in general.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Not All Fair Probabilistic Schedulers Are Equivalent

We propose a novel, generic definition of probabilistic schedulers for population protocols. We then identify the consistent probabilistic schedulers, and prove that any consistent scheduler that assigns a non-zero probability to any transition i → j, where i and j are configurations satisfying i = j, is fair with probability 1. This is a new theoretical framework that aims to simplify proving ...

متن کامل

Probabilistic Evaluation of Seismic Performance of RC Bridges in Iran

 Many existing bridges were designed without adequate consideration of seismic risk. The full or partial collapse of even one major bridge in a city or community would have destroying results. There has been focuses on developing fragility-based seismic vulnerability of existing usual bridges in Iran or support decision making on seismic upgrade. This article focuses on developing performance b...

متن کامل

Performance Modeling of Power Generation System of a Thermal Plant

The present paper discusses the development of a performance model of power generation system of a thermal plant for performance evaluation using Markov technique and probabilistic approach. The study covers two areas: development of a predictive model and evaluation of performance with the help of developed model. The present system of thermal plant under study consists of four subsystems with...

متن کامل

Development of simulation model for performance evaluation of feed water system in a typical thermal power plant

The present paper deals with development of a simulation model for the performance evaluation of feed water system of a thermal power plant using Markov Birth-Death process and probabilistic approach. In present paper, the feed water system consists of four subsystems. After drawing transition diagram for feed water system, differential equations are developed and then solved recursively using ...

متن کامل

On the Fairness of Probabilistic Schedulers for Population Protocols

We propose a novel, generic definition of probabilistic schedulers for population protocols. We design two new schedulers, the State Scheduler and the Transition Function Scheduler. Both possess the significant capability of being protocol-aware, i.e. they can assign transition probabilities based on information concerning the underlying protocol. We prove that the proposed schedulers, and also...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2011